(SETQ D5 (QUOTE (4. 5. 12. 1. 7. 9. 8. 12. 2. 6. 1. 7. 1. 5. 9. 5. 11. 1. 11. 13. 6. 8. 10. 3. 2. 10. 11. 13. 6. 3. 3. 10. 4. 10. 3. 6. 7. 9. 13. 4. 12. 13. 2. 8. 4. 2. 5. 8. 11. 7. 12. 9.)))